Paul Levy

Results: 68



#Item
21

Infinite Trace Equivalence Paul Blain Levy University of Birmingham, U.K. Abstract We solve a longstanding problem by providing a denotational model for nondeterministic

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2007-11-22 15:54:04
    22

      PHS Honors Paul Levy and Merit Award Winners Weavers Way and Saul High School cited at annual celebration PHILADELPHIA (November 2014) – The Pennsylvania Horticultural Society held its annual PHS Awards Celebration

    Add to Reading List

    Source URL: phsonline.org

    Language: English - Date: 2014-11-13 15:33:55
      23

      Characterizing Recursive Programs Up To Bisimilarity Paul Blain Levy University of Birmingham Abstract A recursive program is determined, up to bisimilarity, by the operation of the recursion body on arbitrary processes,

      Add to Reading List

      Source URL: www.cs.bham.ac.uk

      Language: English - Date: 2010-08-03 07:44:37
        24

        Similarity Quotients as Final Coalgebras Paul Blain Levy? University of Birmingham, UK

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        Language: English - Date: 2011-04-02 14:59:57
          25

          Semantics of nondeterminism Paul Blain Levy University of Birmingham November 17, 2009

          Add to Reading List

          Source URL: www.cs.bham.ac.uk

          Language: English - Date: 2009-11-17 12:32:19
            26

            Transition systems over games Paul Blain Levy Sam Staton University of Birmingham

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2014-12-19 05:50:33
              27

              MarchBudget 2013: An assessment from The Work Foundation Ian Brinkley, Paul Sissons, Hiba Sameen, Neil Lee, Charles Levy, Prateek Sureka and Stephen Bevan

              Add to Reading List

              Source URL: www.theworkfoundation.com

              Language: English
                28

                Martin-L¨ of Clashes With Griffin, Operationally Paul Blain Levy University of Birmingham, Birmingham B15 2TT, United Kingdom

                Add to Reading List

                Source URL: www.cs.bham.ac.uk

                Language: English - Date: 2007-08-30 06:05:57
                  29

                  Combining algebraic effects with continuations Martin Hyland,1 Paul Blain Levy,2 Gordon Plotkin and John Power3,? 1 Department of Mathematics, University of Cambridge, Cambridge CB3 0WB, England. Email:

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk

                  Language: English - Date: 2007-05-03 10:47:19
                    30

                    Jumping Semantics For Call-By-Push-Value Paul Blain Levy University of Birmingham Abstract. We give a jumping machine for a higher-order language, embodying the intuition that calling a procedure is a jump, and returning

                    Add to Reading List

                    Source URL: www.cs.bham.ac.uk

                    Language: English - Date: 2007-05-03 10:47:16
                      UPDATE